- no false lemmas principle
- princípio da recusa de lemas falsos
English-Portuguese philosophical dictionary. 2014.
English-Portuguese philosophical dictionary. 2014.
no false lemmas principle — Principle suggested by the contemporary American philosopher Gilbert Harman in response to Gettier examples in the theory of knowledge. In such cases a person is justified in believing something true, but does not know it, because the truth is… … Philosophy dictionary
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
Gettier examples — Since Plato s Theaetetus there has been a tradition of defining knowledge as true belief plus a logos or reason. In the most familiar form, knowledge is justified true belief. In 1963 the American philosopher Edmund Gettier provided a range of… … Philosophy dictionary
Archimedes — For other uses, see Archimedes (disambiguation). Archimedes of Syracuse (Greek: Ἀρχιμήδης) … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… … Wikipedia
Lemme de Zorn — En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme que si un ensemble ordonné est tel que toute chaîne (sous ensemble totalement ordonné) possède… … Wikipédia en Français
Lemme De Zorn — En mathématiques, Le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme qu un ensemble ordonné tel que toute chaîne (sous ensemble totalement ordonné) possède un… … Wikipédia en Français
Lemme de zorn — En mathématiques, Le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme qu un ensemble ordonné tel que toute chaîne (sous ensemble totalement ordonné) possède un… … Wikipédia en Français